منابع مشابه
Higher Category Theory (Lecture 5)
In the previous lecture, we outlined some approaches to describing the cohomology of the classifying space of G-bundles M on a Riemann surface X. For example, we asserted that the cochain complex C * (M; Q) is quasi-isomorphic to a continuous tensor product ⊗ x∈X C * (BG x ; Q). Here it is vital that we work at the level of cochains, rather than cohomology: there is no corresponding procedure t...
متن کاملSolomon Feferman Categorical Foundations and Foundations of Category Theory*
This paper is divided'into two parts. Part I deals briefly with the thesis that category theory (or something like it) should provide the proper foundations of mathematics, in preference to current foundational schemes. An opposite view is argued here on the grounds that the notions of operation and collection are prior to all structural notions. However, no position is taken as to whether such...
متن کاملTowards Category Theory Foundations for Model Management
The paper aims to demonstrate that category theory (CT) methods are appropriate in the model management context. We show that CT naturally appears on stage, when we model such basic constructs as model merge and parallel composition accurately and consistently. We present categorical constructs in a tutorial-like style by applying them to simple labeled transition systems (LTSs), and reveal new...
متن کاملEnriched Stratified systems for the Foundations of Category Theory
Four requirements are suggested for an axiomatic system S to provide the foundations of category theory: (R1) S should allow us to construct the category of all structures of a given kind (without restriction), such as the category of all groups and the category of all categories; (R2) It should also allow us to construct the category of all functors between any two given categories including t...
متن کاملFoundations of Unlimited Category Theory: What Remains to be Done
Following a discussion of various forms of set-theoretical foundations of category theory and the controversial question of whether category theory does or can provide an autonomous foundation of mathematics, this article concentrates on the question whether there is a foundation for “unlimited” or “naive” category theory. The author proposed four criteria for such some years ago. The article d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Časopis pro pěstování matematiky
سال: 1960
ISSN: 0528-2195
DOI: 10.21136/cpm.1960.108126